Always enable documentation, otherwise we can't have the man pages

diff --git a/debian/rules b/debian/rules
index cf6237abb2ab3f12172f142a189f51c105fcc273..e55c45ac86239199356dacef10b571fc35287b15 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -119,10 +119,6 @@ else
 configure_flags_deb += -Dwayland-backend=true
 endif
 
-ifeq ($(filter %-doc,$(binaries)),)
-configure_flags_deb += -Ddocumentation=false
-endif
-
 configure_flags_udeb = \
        -Dbroadway-backend=false \
        -Dwayland-backend=false \